641. Parameterized and exact computation
پدیدآورنده: Dimitrios M. Thilikos, Gerhard J. Woeginger (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Congresses,Parameter estimation, Congresses
رده :
QA276
.
8
.
I97
2012eb
642. Parameterized and exact computation : first International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings
پدیدآورنده: Rod Downey, Michael Fellows, Frank Dehne )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parameter estimation,Congresses ، Computer algorithms,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
3162
643. Principles of security and trust :
پدیدآورنده: Lujo Bauer, Ralf Küsters (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Algorithms & data structures.,Computer science.,Computer security.,Computer security.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Data encryption (Computer science),Information technology: general issues.,Systems analysis & design.
رده :
QA76
.
9
.
A25
P67
2018eb
644. Proceedings Fifth International Conference on Tools with Artificial Intelligence, TAI 93, November 8-11, 1993, Boston, Massachusetts
پدیدآورنده: International Conference on Tools for Artificial Intelligence, )5th : 1993 : Boston, Mass.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Artificial intelligence - Data processing - Congresses , Software engineering - Congresses , Algorithms - Congresses , Neural networks )Computer science( - Congresses , Expert systems )Computer science( - Congresses
رده :
Q
336
.
I356
1993
645. Proceedings IEEE international conference on evolutionary computation (ICEC 97)
پدیدآورنده: / Sponsored by IEEE Neural Network Council
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Artificial intelligence- Congresses,Evolutionary computation- Congresses,Genetic algorithms- Congresses
رده :
Q334
.
I428
1997
646. Proceedings international symposium on parallel architectures, algorithms and networks)I-Span'o2(:may 22-24, 2002, makati city, metromanila, philippnes
پدیدآورنده: Edited by D. Frank Hsu, Oscar H. Ibrra, Rafael P. Saldana
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)
موضوع: ، Parallel proceeding )electronic computers( - Congresses,، Computer algorithms - Congresses,، Computer architechture - Congresses
رده :
QA
76
.
58
.
I56
P6
2002
647. Proceedings of 1997 IEEE International Conference on Evolutionary Computation )ICEC'97(: April 13-16, 1997, University Place Hotel, Indianapolis, IN, USA
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Evolutionary computation,Congresses ، Genetic algorithms,Congresses ، Neural networks )Computer science(
رده :
Q
334
.
I428
1997
648. Proceedings of 1996 IEEE International Conference on Evolutionary Computation )ICEC'96(: May 20-22, 1996, Symposium & Toyoda Auditorium, Nagoya University, Japan
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Evolutionary computation,Congresses ، Genetic algorithms,Congresses ، Neural networks )Computer science(
رده :
Q
334
.
I428
1996
649. Proceedings of the First Annual ACM_SIAM Symposium on Discrete Algorithms
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Algorithms -- Congresses
رده :
QA
76
.
6
.
A278
1990
650. Proceedings of the First IEEE Conference on Evolutionary Computation : IEEE World Congress on Computational Intelligence, June 27-June 29, 1994, Walt Disney World Dolphin Hotel, Orlando, Florida
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Neural networks )Computer science( - Congresses , Genetic algorithms - Congresses , Artificial intelligence - Congresses , Evolutionary computation
رده :
QA
76
.
87
.
I342
1994
651. Proceedings of the Second Annual ACM-SIAM Symposium on Discrete Algorithms
پدیدآورنده:
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer algorithms -- Congresses
رده :
QA
76
.
9
.
A43
A34
1991
652. Proceedings of the first annual ACM-SIAM symposium on discrete algorithms
پدیدآورنده:
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
6
.
A278
1990
653. Proceedings of the second annual acm-siam symposium on discrete algorithms
پدیدآورنده:
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
6
.
A278
1991
654. Proceedings of the 6th International Conference on Harmony Search, Soft Computing and Application :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer algorithms ; Congresses. ;
655. Proceedings of the third Annual ACM-SIAM Symposium on Discrete Algorithms
پدیدآورنده:
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
6
.
A278
1992
656. Progress in cryptology -- AFRICACRYPT 2018 :
پدیدآورنده: Antoine Joux, Abderrahmane Nitaj, Tajjeeddine Rachidi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Algorithms & data structures.,Computer hardware.,Computer security.,Computer security.,Computers-- Hardware-- General.,Computers-- Hardware-- Network Hardware.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Data encryption (Computer science),Information technology: general issues.,Network hardware.
رده :
QA76
.
9
.
A25
657. Quantifier elimination and cylindrical algebraic decomposition
پدیدآورنده: B.F. Caviness, J.R. Johnson (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.
658. Randomization methods in algorithm design : DIMACS workshop, December 12-14, 1997
پدیدآورنده: Panos Pardalos, Sanguthevar Rajasekaran, Jose-Rolim, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Stochastic processes,Congresses ، Algorithms,Congresses ، Mathematical optimization
رده :
QA
274
.
A1D5
1997
659. Randomization, relaxation, and complexity in polynomial equation solving : Banff International Research Station Workshop on Randomization, Relaxation, and Complexity, February 28--March 5, 2010, Banff, Ontario ]i.e. Alberta[, Canada
پدیدآورنده: Leonid Gurvits ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Algorithms,Congresses ، Number theory,Congresses ، Geometry, Algebraic
رده :
QA
241
.
B263
2010
660. Rewriting techniques and application
پدیدآورنده: / Leo Bachmair (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Rewriting systems (Computer science)--Congresses,Computer programming--Congresses,Algorithms--Congresses
رده :
QA
,
267
,.
R48
,
2000
